Chvorinov's rule solidification time example problems